#include <stdint.h>

uint32_t g_seedX = 123456789;
uint32_t g_seedY = 362436069;
uint32_t g_seedZ = 521288629;
uint32_t g_seedW = 88675123;
uint32_t g_seedV = 5783321;